public class ActivationRecord
{
	
	public ActivationRecord()
	{
		
	}
	public static Env create_activation_record(Env caller)
	{
			Env new_env = new Env();
			new_env.parent_env = caller;
			return new_env;
	}
	
	public static Env remove_activation_record(Env present)
	{
		Env temp = present.parent_env;
		present = null;
		return temp;
	}
	
}